perm filename OBJECT.ESS[ESS,JMC]1 blob
sn#005530 filedate 1971-10-26 generic text, type T, neo UTF8
00100 To what extent is it possible to extend the objectivity
00200 of mathematics to science, engineering and human affairs?
00300
00400 First: What do we mean by objectivity? Consider that when someone
00500 makes a mathematical assertion, he is expected to prove it. The
00600 mathematical literature publishes thousands of pages annually of
00700 new mathematical assertions and their proofs. Mathematical proof
00800 is an extremely reliable process. Less than one in a thousand
00900 of published mathematical assertions are later found to be mistaken
01000 or even occasion any controversy. In popular fields of mathematics
01100 where people check each others work controversy over what has been
01200 proved is almost non-existent. (There is plenty of controversy
01300 over what is useful, important, or beautiful in mathematics).
01400
01500 This objectivity of mathematics has some important useful
01600 consequences. Namely, anyone who has an idea for improving
01700 mankind's state of mathematical knowledge can write a paper
01800 and submit it to a journal. The process by which publication